On Temporal Logic and Signal Processing
نویسندگان
چکیده
We present Time-Frequency Logic (TFL), a new specification formalism for real-valued signals that combines temporal logic properties in the time domain with frequency-domain properties. We provide a property checking framework for this formalism and demonstrate its expressive power to the recognition of musical pieces. Like hybrid automata and their analysis techniques, the TFL formalism is a contribution to a unified systems theory for hybrid systems.
منابع مشابه
An Adaptive Learning Game for Autistic Children using Reinforcement Learning and Fuzzy Logic
This paper, presents an adapted serious game for rating social ability in children with autism spectrum disorder (ASD). The required measurements are obtained by challenges of the proposed serious game. The proposed serious game uses reinforcement learning concepts for being adaptive. It is based on fuzzy logic to evaluate the social ability level of the children with ASD. The game adapts itsel...
متن کاملDepth of anesthesia estimation based on EEG signal using brain effective connectivity between frontal and temporal regions
Background: Ensuring adequate depth of anesthesia during surgery is essential for anesthesiologists to prevent the occurrence of unwanted alertness during surgery or failure to return to consciousness. Since the purpose of using anesthetics is to affect the central nervous system, brain signal processing such as electroencephalography (EEG) can be used to predict different levels of anesthesia....
متن کاملDigital Binary Phase-shift Keyed Signal Detector
We have developed the effective algorithm for detecting digital binary phase-shift keyed signals. This algorithm requires a small number of arithmetic operations over the signal period. It can be relatively easy implemented based on the modern programmable logic devices. It also provides high interference immunity by identifying signal presence when signal-to-noise ratio is much less that its w...
متن کاملEffects of ageing on speed and temporal resolution of speech stimuli in older adults
Background: According to previous studies, most of the speech recognition disorders in older adults are the results of deficits in audibility and auditory temporal resolution. In this paper, the effect of ageing on timecompressed speech and auditory temporal resolution by word recognition in continuous and interrupted noise was studied. Methods: A time-compressed speech test (TCST) w...
متن کاملAuditory Temporal Processing Abilities in Early Azari-Persian Bilinguals
Introduction: Auditory temporal resolution and auditory temporal ordering are two major components of the auditory temporal processing abilities that contribute to speech perception and language development. Auditory temporal resolution and auditory temporal ordering can be evaluated by gap-in-noise (GIN) and pitch-pattern-sequence (PPS) tests, respectively. In this survey, the effect of biling...
متن کاملSensorless Model Reference Adaptive Control of DFIG by Using High Frequency Signal Injection and Fuzzy Logic Control
In this paper, a new sensorless model reference adaptive method is used for direct control of active and reactive power of the doubly fed induction generator (DFIG). In order to estimate the rotor speed, a high frequency signal injection scheme is implemented. In this study, to improve the accuracy of speed estimation, two methods are suggested. First, the coefficients of proportional-integral ...
متن کامل